12251A-F3 http://identifiers.org/mgd/MGI:4460563 MGI:4460563 12251A-A9 12251A-A11 Atn1<tm1(KOMP)Vlcg> 12251A-B4 targeted mutation 1, Velocigene KOMP-Regeneron-Project 12251A-A3 12251A-D9